Can quantum theory provide examples of metaphysical indeterminacy, indeterminacy that obtains in the world itself, independently of how one represents the world in language or thought? We provide a positive answer assuming just one constraint of orthodox quantum theory: the eigenstate-eigenvalue link. Our account adds a modal condition to preclude spurious indeterminacy in the presence of superselection sectors. No other extant account of metaphysical indeterminacy in quantum theory meets these demands.

Matthew Leisinger (2020) argues that previous interpretations of John Locke’s account of akrasia (or weakness of will) are mistaken and offers a new interpretation in their place. In this essay, we aim to recapitulate part of this debate, defend a previously articulated interpretation by responding to Leisinger’s criticisms of it, and explain why Leisinger’s own interpretation faces textual and philosophical problems that are serious enough to disqualify it as an accurate reconstruction of Locke’s views. In so doing, we aim to (...) shed further light on Locke’s views on the various ways in which humans are prone to err in their pursuit of happiness. (shrink)

If one is interested in reasoning counterfactually within a physical theory, one cannot adequately use the standard possible world semantics. As developed by Lewis and others, this semantics depends on entertaining possible worlds with miracles, worlds in which laws of nature, as described by physical theory, are violated. Van Fraassen suggested instead to use the models of a theory as worlds, but gave up on determining the needed comparative similarity relation for the semantics objectively. I present a third way, in (...) which this similarity relation is determined from properties of the models contextually relevant to the truth of the counterfactual under evaluation. After illustrating this with a simple example from thermodynamics, I draw some implications for future work, including a renewed possibility for a viable deflationary account of laws of nature. (shrink)

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the proportion of papers (...) using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

Much contemporary metaphysics, moved by an apparent necessity to take reality to consist of given beings and properties, presents us with what appear to be deep problems requiring radical changes in the common sense conception of persons and the world. Contemporary meta-ethics ignores questions about logical form and formulates questions in ways that make the possibility of correct value judgments mysterious. In this book, Wheeler argues that given a Davidsonian understanding of truth, predication, and interpretation, and given a relativised version (...) of Aristotelian essentialism compatible with Davidson’s basic thinking, many metaphysical problems are not very deep. Likewise, many philosophers' claims that common sense needs to be modified are unfounded. He argues further that a proper consideration of questions of logical form clarifies and illuminates meta-ethical questions. Although the analyses and arguments he gives are often at odds with those at which Davidson arrived, they apply the central Davidsonian insights about semantics, understanding, and interpretation. (shrink)

In this paper, I provide what I believe to be Descartes's own solution to the problem of the Cartesian Circle. As I argue, Descartes thinks he can have certain knowledge of the premises of the Third Meditation proof of God's existence and veracity (i.e., the 3M-Proof) without presupposing God's existence. The key, as Broughton (1984) once argued, is that the premises of the 3M-Proof are knowable by the natural light. The major objection to this "natural light" gambit is that Descartes (...) identifies the natural light with the faculty of clear and distinct perception, a faculty that cannot be known to be reliable in advance of the 3M-Proof. I explain that Descartes distinguishes between three kinds of clear and distinction perceptions depending on their source; the senses, the imagination, or the intellect. I claim that although the First Meditation is designed to cast doubt on the clear and distinct perceptions of the senses and of the imagination, it is not designed to cast doubt on the clear and distinct perceptions of the intellect. The "natural light" gambit relies on the assumption that the natural light, by which propositions can be certainly known without presupposing knowledge of God's existence, is to be identified with the faculty of *intellectual* clear and distinct perception. (shrink)

Intertheoretic reduction in physics aspires to be both to be explanatory and perfectly general: it endeavors to explain why an older, simpler theory continues to be as successful as it is in terms of a newer, more sophisticated theory, and it aims to relate or otherwise account for as many features of the two theories as possible. Despite often being introduced as straightforward cases of intertheoretic reduction, candidate accounts of the reduction of general relativity to Newtonian gravitation have either been (...) insufficiently general or rigorous, or have not clearly been able to explain the empirical success of Newtonian gravitation. Building on work by Ehlers and others, I propose a different account of the reduction relation that is perfectly general and meets the explanatory demand one would make of it. In doing so, I highlight the role that a topology on the collection of all spacetimes plays in defining the relation, and how the selection of the topology corresponds with broader or narrower classes of observables that one demands be well-approximated in the limit. (shrink)

One of the more interesting philosophical debates in the seventeenth century concerned the nature and explanation of qualities. In order to understand these debates, it is important to place them in their proper historical-philosophical context. This book chapter starts with theoretical background in the work of Aristotle and the atomists, and then moves on to survey various theories of motion and rest, light, color, and sound, as well as the distinction between primary and secondary qualities, as represented in the work (...) of such figures as Berkeley, Boyle, Charleton, Cordemoy, Descartes, Desgabets, Galileo, Gassendi, Hobbes, Locke, Malebranche, Newton, Régis, Rohault, and Sennert. (shrink)

We offer a framework for organizing the literature regarding the debates revolving around infinite idealizations in science, and a short summary of the contributions to this special issue.

The replication or reproducibility crisis in psychological science has renewed attention to philosophical aspects of its methodology. I provide herein a new, functional account of the role of replication in a scientific discipline: to undercut the underdetermination of scientific hypotheses from data, typically by hypotheses that connect data with phenomena. These include hypotheses that concern sampling error, experimental control, and operationalization. How a scientific hypothesis could be underdetermined in one of these ways depends on a scientific discipline’s epistemic goals, theoretical (...) development, material constraints, institutional context, and their interconnections. I illustrate how these apply to the case of psychological science. I then contrast this “bottom-up” account with “top-down” accounts, which assume that the role of replication in a particular science, such as psychology, must follow from a uniform role that it plays in science generally. Aside from avoiding unaddressed problems with top-down accounts, my bottom-up account also better explains the variability of importance of replication of various types across different scientific disciplines. (shrink)

The role or function of experimental and observational replication within empirical science has implications for how replication should be measured. Broadly, there seems to be consensus that replication’s central goal is to confirm or vouchsafe the reliability of scientific findings. I argue that if this consensus is correct, then most of the measures of replication used in the scientific literature are actually poor indicators of this reliability or confirmation. Only meta-analytic measures of replication align functionally with the goals of replication. (...) I conclude by addressing some objections to meta-analysis. (shrink)

In this paper, I argue that Book II, Chapter viii of Locke' Essay is a unified, self-consistent whole, and that the appearance of inconsistency is due largely to anachronistic misreadings and misunderstandings. The key to the distinction between primary and secondary qualities is that the former are, while the latter are not, real properties, i.e., properties that exist in bodies independently of being perceived. Once the distinction is properly understood, it becomes clear that Locke's arguments for it are simple, valid (...) and (in one case) persuasive as well. (shrink)

How can inferences from models to the phenomena they represent be justified when those models represent only imperfectly? Pierre Duhem considered just this problem, arguing that inferences from mathematical models of phenomena to real physical applications must also be demonstrated to be approximately correct when the assumptions of the model are only approximately true. Despite being little discussed among philosophers, this challenge was taken up by mathematicians and physicists both contemporaneous with and subsequent to Duhem, yielding a novel and rich (...) mathematical theory of stability with epistemological consequences. (shrink)

Humans have always sought to change their environment—building houses, monuments, temples, and roads. In the process, they have remade the fabric of the world into newly functional objects that are also works of art to be admired. In this second edition of his popular Existential Pleasures of Engineering, Samuel Florman explores how engineers think and feel about their profession. A deeply insightful and refreshingly unique text, this book corrects the myth that engineering is cold and passionless. Indeed, Florman celebrates (...) engineering not only crucial and fundamental but also vital and alive he views it as a response to some of our deepest impulses, an endeavor rich in spiritual and sensual rewards. Opposing the "anti-technology" stance, Florman gives readers a practical, creative, and even amusing philosophy of engineering that boasts of pride in his craft. (shrink)

A “stopping rule” in a sequential experiment is a rule or procedure for deciding when that experiment should end. Accordingly, the “stopping rule principle” states that, in a sequential experiment, the evidential relationship between the final data and an hypothesis under consideration does not depend on the experiment’s stopping rule: the same data should yield the same evidence, regardless of which stopping rule was used. In this essay, I reconstruct and rebut five independent arguments for the SRP. Reminding oneself that (...) the stopping rule is a part of an experiment’s design and is no more mysterious than many other design aspects helps elucidate why some of these arguments for the SRP are unsound. (shrink)

Recently, we (Synthese, 199(5–6):13247–13281, 2021) proposed Kripke-like semantics for two quantum logics of interderminacy. These logics expand the vocabulary of standard Birkhoff-von Neumann propositional quantum logic with a pair of modal operators interpreted as “it is (in)determinate that”, allowing them to express in the object language statements such as “it is indeterminate that system S is spin-up in the x-direction”, as well as statements of any logical complexity involving ascriptions of (in)determinacy. We present an axiomatization of a logic closely related (...) to one of these quantum logics of indeterminacy and prove that this axiomatization is sound and complete with respect to the Kripke-like semantics. We then prove that this logic is decidable. (shrink)

In separate 1962 publications, Feyerabend and Kuhn introduced the concept of the incommensurability of scientific theories, using as an example (among others) Newtonian mechanics and the special theory of relativity. They suggested, in particular, that the two theories employed incommensurable concepts of mass. Feyerabend took this incommensurability as a fatal objection to a kind of conceptual conservatism that he found in contemporaneous accounts of scientific explanation and reduction, which demanded that older theories were explained by or absorbed into newer theories (...) as special cases. In contrast, I develop here a unified technical framework for particle kinematics and collision mechanics that includes the Newtonian and relativistic versions as particular cases. The mass concept plays the same functional role for each model of the framework, and there is appropriate continuity between their realizations, as I prove that within this framework, certain Newtonian collision models are limits of relativistic collision models. Yet I argue that while one can understand in retrospect why Feyerabend and Kuhn were wrong about their specific claim about the concept of mass, one can still uphold Feyerabend’s insights about the inadequacies of views of scientific progress adhering to conceptual conservatism. (shrink)

We consider various curious features of general relativity, and relativistic field theory, in two spacetime dimensions. In particular, we discuss: the vanishing of the Einstein tensor; the failure of an initial-value formulation for vacuum spacetimes; the status of singularity theorems; the non-existence of a Newtonian limit; the status of the cosmological constant; and the character of matter fields, including perfect fluids and electromagnetic fields. We conclude with a discussion of what constrains our understanding of physics in different dimensions.

Recently, Horsman et al. have proposed a new framework, Abstraction/Representation theory, for understanding and evaluating claims about unconventional or non-standard computation. Among its attractive features, the theory in particular implies a novel account of what is means to be a computer. After expounding on this account, I compare it with other accounts of concrete computation, finding that it does not quite fit in the standard categorization: while it is most similar to some semantic accounts, it is not itself a semantic (...) account. Then I evaluate it according to the six desiderata for accounts of concrete computation proposed by Piccinini. Finding that it does not clearly satisfy some of them, I propose a modification, which I call Agential AR theory, that does, yielding an account that could be a serious competitor to other leading account of concrete computation. (shrink)

Relative essentialism, the view that multiple objects about which there are distinct de re modal truths can occupy the same space at the same time, is a metaphysical view that dissolves a number of metaphysical issues. The present essay constructs and defends relative essentialism and argues that it is implicit in some of the ideas of W. V. Quine and Donald Davidson. Davidson’s published views about individuation and sameness can accommodate the common-sense insights about change and persistence of Aristotle and (...) Kripke. Aristotle and Kripke have to give up unmediated direct reference resting on a unique correct articulation of reality into entities. Davidson has to acknowledge a distinction between descriptions giving accidental and those giving essential features of an object. Quine and Davidson were in a position to be a relative essentialist, but were over-impressed by supervenience. The relative essentialist view of beings developed from Quine and Davidson strongly suggests the Heideggerian distinction between beings and Being, and is the perspective from which analytic philosophy can engage that topic. Relative essentialism also connects analytic philosophy to Derrida’s thinking about differance. (shrink)

The concept of emergence is commonly invoked in modern physics but rarely defined. Building on recent influential work by Jeremy Butterfield, I provide precise definitions of emergence concepts as they pertain to properties represented in models, applying them to some basic examples from space-time and thermostatistical physics. The chief formal innovation I employ, similarity structure, consists in a structured set of similarity relations among those models under analysis—and their properties—and is a generalization of topological structure. Although motivated from physics, this (...) similarity-structure-based account of emergence applies to any science that represents its possibilia with models. (shrink)

The European Legacy, Volume 17, Issue 4, Page 570-571, July 2012.

The clock hypothesis of relativity theory equates the proper time experienced by a point particle along a timelike curve with the length of that curve as determined by the metric. Is it possible to prove that particular types of clocks satisfy the clock hypothesis, thus genuinely measure proper time, at least approximately? Because most real clocks would be enormously complicated to study in this connection, focusing attention on an idealized light clock is attractive. The present paper extends and generalized partial (...) results along these lines with a theorem showing that, for any timelike curve in any spacetime, there is a light clock that measures the curve’s length as accurately and regularly as one wishes. (shrink)

The vast majority of philosophers and legal theorists who have thought about the issue agree that there is such a thing as a moral right to privacy. However, there is little or no theoretical consensus about the nature of this right. According to reductionists, the right to privacy amounts to nothing more than a cluster of property rights and rights over the person, and therefore plays no autonomous explanatory role in moral theory (Thomson 1975, Davis 1959). Among non-reductionists, there are (...) almost as many accounts of the right to privacy as there are synagogues in the old town of Jerusalem. For one group of non-reductionists (perhaps the majority), the right to privacy is properly understood as a right of control, a form of autonomy. Within this group, some think that the right to privacy is the right to control information about oneself (Westin 1967, Beardsley 1971, Gerstein 1978, Fried 1970, Moore 2003), while others insist that it is the right to control access to oneself (Parker 1974, Scanlon 1975, Rachels 1975, Reiman 1976, Van den Haag 1971). For another group of non-reductionists, the right to privacy is the right to cognitive and/or physical inaccessibility (Gavison 1980, Garrett 1974, Allen 1988). Though these are by far the most widely adopted non-reductionist accounts of the relevant right, they are by no means the only ones currently on offer. There are hybrid accounts according to which the right to privacy is a cluster of various rights of control (Inness 1992) or a cluster of various rights of control and restricted access (DeCew 1997). And according to an influential “information-based” account, the right to privacy 1 is defined as the right that others not possess undocumented personal information about the right-holder (Parent 1983a; 1983b). The purpose of this paper is to bring some order to this theoretical chaos. On my view, none of these accounts of the right to privacy is accurate.. (shrink)

Miller, Truog, and Brock have recently argued that the “dead donor rule,” the requirement that donors be determined to be dead before vital organs are procured for transplantation, cannot withstand ethical scrutiny. In their view, the dead donor rule is inconsistent with existing life-saving practices of organ transplantation, lacks a cogent ethical rationale, and is not necessary for maintenance of public trust in organ transplantation. In this paper, the second of these claims will be evaluated. (The first and third are (...) not addressed.) The claim that the dead donor rule lacks a cogent ethical rationale will be shown to be an expression of the contemporary rejection of the moral significance of the traditional distinction between killing and allowing to die. The moral significance of this traditional distinction, and the associated norm that doctors should not kill their patients, will be defended, and this critique of it shown to be unsuccessful. (shrink)

Merely approximate symmetry is mundane enough in physics that one rarely finds any explication of it. Among philosophers it has also received scant attention compared to exact symmetries. Herein I invite further consideration of this concept that is so essential to the practice of physics and interpretation of physical theory. After motivating why it deserves such scrutiny, I propose a minimal definition of approximate symmetry—that is, one that presupposes as little structure on a physical theory to which it is applied (...) as seems needed. Then I apply this definition to three topics: first, accounting for or explaining the symmetries of a theory emeritus in intertheoretic reduction; second, explicating and evaluating the Curie-Post principle; and third, a new account of accidental symmetry. (shrink)

Plato's Parmenides divides up into two main parts, the first ostensibly devoted to a series of criticisms launched by a venerable Parmenides against a theory of Forms previously articulated by a youthful Socrates, the second consisting of a virtually unbroken series of deductions to seemingly incompatible conclusions. As such, the dialogue poses a serious interpretative challenge, for it is unclear what conclusions Plato expected his readers to draw from both parts and how the conclusion of Part II is supposed to (...) bear on the conclusion of Part I. (shrink)

In the First Section of the Groundwork of the Metaphysics of Morals, Kant argues that a good-willed person “under subjective limitations and hindrances” (G 397) is required “never to act except in such a way that [she] could also will that [her] maxim should become a universal law” (G 402).2 This requirement has come to be known as the Formula of Universal Law (FUL) version of the Categorical Imperative, an “ought” statement expressing a command of reason that “represent[s] an action (...) as objectively necessary of itself, without reference to another end” (G 414). The question of how to understand and apply the FUL has received a great deal of attention in recent years. But Kant’s reasoning for the claim that a good-willed person (of a certain kind) acts in accordance with the FUL has not been investigated with the same degree of thoroughness. My purpose in this paper is to render the structure of Kant’s argument perspicuous, and thereby contribute to its proper evaluation by identifying its true strengths and weaknesses.3 Let us call Kant’s argument “K” and its conclusion “C”. The task at hand requires identification of K’s premises and of the reasoning by means of which C is derived. One of the advantages of clarifying K’s structure in this way is that doing so permits us to answer questions that continue to puzzle even the most sympathetic readers of the First Section. Some of these questions concern three “Propositions” to which Kant 1 draws our attention in the course of his presentation. The First Proposition (call it “P1”) is left unstated, but most commentators agree that it (or at least part of it) should be rendered as follows: (P1) A human action has moral worth only if it is done from duty.4 Kant states the other two propositions (call the Second “P2” and Third “P3”) explicitly: (P2) An action from duty has its moral worth not in the purpose to be attained by it but in the maxim in accordance with which it is decided upon. (G 399). (shrink)

These guide-lines were produced for the Social Concern Track at Lausanne II. Their aim is to enable people who are engaged in evangelism in social action ministries to write up their experiences so that they and others can reflect on the theology underlying their approach. The guide-lines have since been widely used by people in different parts of the world. The findings of the case studies at Lausanne II were published in Transformation, January 1990.

According to the Doctrine of Doing and Allowing, it is more difficult to justify doing harm than it is to justify allowing harm. Enabling harm consists in withdrawing an obstacle that would, if left in place, prevent a pre-existing causal sequence from leading to foreseen harm. There has been a lively debate concerning the moral status of enabling harm. According to some (e.g. McMahan, Vihvelin and Tomkow), many cases of enabling harm are morally indistinguishable from doing harm. Others (e.g. Foot, (...) Hanser) support the Equivalence Hypothesis, according to which enabling harm is morally equivalent to allowing harm. Here I argue that there is every reason to embrace, and no reason to reject, the Equivalence Hypothesis. (shrink)

We implement a recent characterization of metaphysical indeterminacy in the context of orthodox quantum theory, developing the syntax and semantics of two propositional logics equipped with determinacy and indeterminacy operators. These logics, which extend a novel semantics for standard quantum logic that accounts for Hilbert spaces with superselection sectors, preserve different desirable features of quantum logic and logics of indeterminacy. In addition to comparing the relative advantages of the two, we also explain how each logic answers Williamson’s challenge to any (...) substantive account of determinacy: For any proposition p, what could the difference between “p” and “it’s determinate that p” ever amount to? (shrink)